Offered autumn. Prereq., LING 470 or equivalent.An investigation of human language sentence?formation systems, construed as functions (combinatorial computations) mapping utterances (physical sounds) to propositions (mental meanings). Emphasis on abstracting away from observable cross-linguistic data in favor of underlying formal (i.e., computational) structures. This course is co-convened with LING 472. Level: Graduate